/*
 * Clause.h
 *
 *  Created on: May 2, 2012
 *      Author: lorenzo
 */

#ifndef CLAUSE_H_
#define CLAUSE_H_

#include <vector>
#include "Literal.h"

class Clause {
public:
	Clause();
	virtual ~Clause();

	void addLiteral(Literal l);
	bool evaluate();

private:
	std::vector<Literal> literals;

};

#endif /* CLAUSE_H_ */
